$\forall$$A$, $B$, $C$:MsgA. $C$ $\parallel$decl $A$ $\Rightarrow$ $C$ $\parallel$decl $B$ $\Rightarrow$ $A$ $\parallel$decl $B$ $\Rightarrow$ $A$ $\oplus$ $B$ $\oplus$ $C$ $=$ $A$ $\oplus$ $B$ $\oplus$ $C$ $\in$ MsgA